Showing 1 - 7 of 7 Results
1.
Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521565431 List Price: $74.00
2.
Isabelle/Hol A Proof Assistant for Higher-Order Logic by Nipkow, Tobias, Paulson, L.... ISBN: 9783540433767 List Price: $69.95
3.
Isabelle by Paulson, L. C. ISBN: 9783540582441 List Price: $71.95
4.
Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521390224 List Price: $64.95
5.
Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521422253 List Price: $29.95
6.
Logic and Computation Interactive Proof With Cambridge Lcf by Paulson, L. C., van Rijsber... ISBN: 9780521395601 List Price: $61.00
7.
Logic and Computation: Interactive Proof with Cambridge LCF by Paulson, L. C. ISBN: 9780521346320 List Price: $104.99